- existential closure
- мат.экзистенциональное замыкание, замыкание существования
English-Russian scientific dictionary. 2008.
existential closure
Смотреть что такое "existential closure" в других словарях:
Monadic Boolean algebra — In abstract algebra, a monadic Boolean algebra is an algebraic structure with signature 〈A, ·, +, , 0, 1, ∃〉 of type 〈2,2,1,0,0,1〉, where 〈A, ·, +, , 0, 1〉 is a Boolean algebra. The prefixed unary operator ∃ denotes the existential quantifier,… … Wikipedia
Irene Heim — Irene Roswitha Heim is a linguist and noted specialist in semantics. She was a professor at the University of Texas at Austin and UCLA before finally moving to the Massachusetts Institute of Technology in 1989, where she is Professor of… … Wikipedia
Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… … Wikipedia
literature — /lit euhr euh cheuhr, choor , li treuh /, n. 1. writings in which expression and form, in connection with ideas of permanent and universal interest, are characteristic or essential features, as poetry, novels, history, biography, and essays. 2.… … Universalium
List of philosophy topics (D-H) — DDaDai Zhen Pierre d Ailly Jean Le Rond d Alembert John Damascene Damascius John of Damascus Peter Damian Danish philosophy Dante Alighieri Arthur Danto Arthur C. Danto Arthur Coleman Danto dao Daodejing Daoism Daoist philosophy Charles Darwin… … Wikipedia
Interior algebra — In abstract algebra, an interior algebra is a certain type of algebraic structure that encodes the idea of the topological interior of a set. Interior algebras are to topology and the modal logic S4 what Boolean algebras are to set theory and… … Wikipedia
Continental philosophy — Collective term for the many distinct philospohical traditions, methods, and styles that predominated on the European continent (particularly in France and Germany) from the time of Immanuel Kant. It is usually understood in contrast with… … Universalium
Descriptive complexity theory — For other uses, see Kolmogorov complexity. Descriptive complexity is a branch of computational complexity theory and of finite model theory that characterizes complexity classes by the type of logic needed to express the languages in them. For… … Wikipedia
Descriptive complexity — is a branch of finite model theory, a subfield of computational complexity theory and mathematical logic, which seeks to characterize complexity classes by the type of logic needed to express the languages in them. For example, PH, the union of… … Wikipedia
Focus (linguistics) — Focus is a concept in linguistic theory that deals with how information in one phrase relates to information that has come before. Focus has been analyzed in a variety of ways by linguists. Historically, there have been two main approaches to… … Wikipedia
Existence (Philosophy of) 3 — Philosophy of existence 3 Merleau Ponty Bernard Cullen à Henri Godin LIFE AND WORKS Maurice Merleau Ponty was born on 14 March 1908 into a petty bourgeois Catholic family in Rochefort sur Mer on the west coast of France. When he died suddenly, at … History of philosophy
